翻訳と辞書
Words near each other
・ gss
・ gss-api
・ gt
・ gt/sql
・ gtg
・ gtk+
・ gtl
・ gu
・ guaranteed scheduling
・ guard
guarded horn clauses
・ gubbish
・ gui
・ guide
・ guide to available mathematical software
・ guiltware
・ gun
・ gunch
・ gunning transceiver logic
・ gunzip


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

guarded horn clauses : FOLDOC
Guarded Horn Clauses
(GHC) A parallel dialect of Prolog by K. Ueda in which each clause has a guard. GHC is similar to Parlog. When several clauses match a goal, their guards are evaluated in parallel and the first clause whose guard is found to be true is used and others are rejected. It uses {committed-choice nondeterminism}.
See also FGHC, KL1.
(1995-05-09)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.